Struct isotope::primitive::logical::TRUE [−][src]
pub struct TRUE { /* fields omitted */ }
Expand description
The constant true
, with the default type
Methods from Deref<Target = TermId>
Convert this TermId
to an abstract syntax tree in the given context with it’s annotation
Convert a term to it’s prettyprinted string
Convert a term to it’s prettyprinted string for debugging